21. Artificial intelligence :
پدیدآورنده : edited by Sergei O. Kuznetsov, Gennady S. Osipov, Vadim L. Stefanuk.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Mathematical Logic and Formal Languages.,Probability and Statistics in Computer Science.,Software Engineering.,Artificial intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.
رده :
Q334
22. Artificial intelligence methods in intelligent algorithms :
پدیدآورنده : editor, Radek Silhavy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Software engineering, Congresses.,Artificial intelligence.,COMPUTERS-- Software Development & Engineering-- General.,Software engineering.
رده :
QA76
.
758
23. Automated deduction in geometr
پدیدآورنده : / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
رده :
QA448
.
D38
,
I58
2011
24. Automated technology for verification and analysis
پدیدآورنده : Supratik Chakraborty, Madhavan Mukund (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2012eb
25. Automated technology for verification and analysis :
پدیدآورنده : Dang Van Hung, Mizuhito Ogawa (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2013
26. Automated technology for verification and analysis
پدیدآورنده : Zhiming Liu, Anders P. Ravn (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2009
27. Automated technology for verification and analysis :
پدیدآورنده : Tevfik Bultan, Pao-Ann Hsiung (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses,Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
A88
2011
28. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
30. Certification and security in inter-organizational E-services :
پدیدآورنده : edited by Enrico Nardelli, Maurizio Talamo.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business-- Data processing-- Security measures, Congresses.,Computer security, Congresses.,Business-- Data processing-- Security measures.,Computer Science.,Computer security.,Electrical & Computer Engineering.,Engineering & Applied Sciences.,Informatique.,Telecommunications.
رده :
QA76
.
9
.
A25
I462
2005
31. Certified programs and proofs :
پدیدآورنده : Jean-Pierre Jouannaud, Zhong Shao (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
C37
2011eb
32. Chinese lexical semantics :
پدیدآورنده : Jia-Fei Hong, Qi Su, Jiun-Shiung Wu (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Chinese language-- Semantics, Congresses.,Computational linguistics, Congresses.,Artificial intelligence.,Chinese language-- Semantics.,Computational linguistics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Software Development & Engineering-- General.,Computers-- System Administration-- Storage & Retrieval.,Foreign Language Study-- Chinese.,Information retrieval.,Software Engineering.
رده :
PL1291
.
C45
2018eb
33. Cognitive Informatics and Soft Computing :
پدیدآورنده : Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.
رده :
Q342
34. Collaborative computing :
پدیدآورنده : Imed Romdhani, Lei Shu, Hara Takahiro, Zhangbing Zhou, Timothy Gordon, Deze Zeng (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Multimedia systems, Congresses.,Online social networks, Congresses.,Artificial Intelligence.,Computer Systems Organization and Communication Networks.,Information Storage and Retrieval.,Information Systems and Communication Service.,Computer networking & communications.,Computer networks.,Computers-- Computer Science.,Computers-- Hardware-- General.,Computers-- Online Services-- General.,Computers-- System Administration-- Storage & Retrieval.,Electronic data processing-- Distributed processing.,Information retrieval.,Multimedia systems.,Online social networks.,Program concepts-- learning to program.
رده :
TK5105
.
5
35. Complex networks :
پدیدآورنده : Luciano F. Costa [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses
رده :
TK5105
.
5
.
C66
2011
36. Computational intelligence and information technology :
پدیدآورنده : Vinu V Das, Nessy Thankachan (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence, Congresses.,Information technology, Congresses.
رده :
Q342
.
I58
2011
37. Computational logistics :
پدیدآورنده : Jürgen W. Böse [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business logistics-- Data processing, Congresses,Information resources management, Congresses,Information technology, Congresses
رده :
HD38
.
5
.
I58
2011
38. Computational science and its applications -- ICCSA 2019 :
پدیدآورنده : Sanjay Misra, Osvaldo Gervasi, Beniamino Murgante, Elena Stankova, Vladimir Korkhov, Carmelo Torre, Ana Maria A.C. Rocha, David Taniar, Bernady O. Apduhan, Eufemia Tarantino (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer networks.,Computer science.,Computer software.,Software engineering.
رده :
QA75
.
5
.
I22
2019eb
39. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
40. Computer aided systems theory--EUROCAST '89 :
پدیدآورنده : F. Pichler, R. Moreno-Diaz (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer-aided engineering-- Congresses.
رده :
TA345
.
I585
1989
